examples of dfa in automata